$\forall$${\it es}$:ES, $i$, $x$:Id, $T$:Type, $L$:Knd List. @$i$ only events in $L$ change   $x$ : $T$ $\in$ Prop